✨ Effect Handlers

Algebraic Effects, Delimited Continuations, Computational Effects, Control Abstraction

The Power of Strong Linearizability: the Difficulty of Consistent Refereeing
arxiv.org·1d
🎯Performance Proofs
Patterns for Compounding the Value of LLM interactions
spin.atomicobject.com·2h·
Discuss: Hacker News
🔗Constraint Handling
Flame Graph Performance Truth Analysis（1750839255230100）
dev.to·6h·
Discuss: DEV
⚡Performance Tools
Song recommendations from F# combinators
blog.ploeh.dk·2d
🔗Functional Compilers
Piloting Copilot, Codex, and StarCoder2: Hot Temperature, Cold Prompts, or Black Magic?
arxiv.org·1d
✨Algebraic Effects
Speculative Optimizations for WebAssembly using Deopts and Inlining
v8.dev·1d·
Discuss: Hacker News, r/javascript, r/webdev
🦀Rust Macros
Lessons from LangChain and Slack and MCP Integration
medium.com·17h·
Discuss: Hacker News
🔗Topological Sorting
Solving LinkedIn Queens Using Haskell
imiron.io·1d·
Discuss: Lobsters, Hacker News, r/programming
λLambda Formalization
NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.org·10h
🔗Topological Sorting
Total Outcome Logic: Unified Reasoning for a Taxonomy of Program Logics
arxiv.org·1d
⚖️Hoare Logic
Why Your Next LLM Might Not Have A Tokenizer
towardsdatascience.com·19h
🤖Grammar Induction
Black-Box Test Code Fault Localization Driven by Large Language Models and Execution Estimation
arxiv.org·10h
🔍Concolic Testing
Meet Mojo: The Language That Could Replace Python, C++, and CUDA
hackernoon.com·7h
⬆️Lambda Lifting
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Slashing CI Costs at Uber
uber.com·4h·
Discuss: Hacker News
🔄Reproducible Builds
PEGTL -- Parsing Expression Grammar Template Library
github.com·15h·
Discuss: Hacker News
🔗Parser Combinators
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.me·1d·
Discuss: Lobsters, Hacker News, r/programming
🔗Lisp
Failure Modes of AI-Powered Engineering (2024)
bertolami.com·23h·
Discuss: Hacker News
✨Algebraic Effects
AsmJit: Lightweight C++ library for low-latency machine code generation
asmjit.com·13h·
Discuss: Hacker News
🦀Rust Macros
The collective waste caused by poor documentation
shanrauf.com·13h·
Discuss: Hacker News
📦Deflate